package bibliotheque.wave;

import java.rmi.Remote;
import java.rmi.RemoteException;

public interface WaveAgentRemote extends Remote {
    public void Propagate(WaveAgentRemote wave_agent, WaveAction wave_action) throws RemoteException ;
    public void Acknowledge(WaveAgentRemote wave_agent, WaveAction wave_action) throws RemoteException ;
}
